Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

Member of the Organizing Committees

Philippe Clauss organized the Special Session on Compiler Architecture, Design and Optimization (CADO) of the 17th International Conference on High Performance Computing & Simulation (HPCS 2019), July 2019, Dublin, Ireland.

Philippe Clauss will organize the 10th edition of the International Workshop on Polyhedral Compilation Techniques, held in conjunction with HiPEAC 2020, January 22, 2020, Bologna, Italy.

Cédric Bastoul co-organized HIP3ES 2019 (International Workshop on High Performance Energy Efficient Embedded Systems), in conjunction with the international conference HiPEAC 2019.

Arthur Charguéraud co-organized the summer school École des Jeunes Chercheurs en Programmation (EJCP), June 2019, Strasbourg, France.

Scientific Events: Selection

Member of the Conference Program Committees

Vincent Loechner has been member of the program committees of HIP3ES 2019, PDP 2020, IMPACT 2020.

Philippe Clauss has been part of the program committees of: CC 2020 (ACM SIGPLAN International Conference on Compiler Construction); ICPP 2020 (49th International Conference on Parallel Processing); IPDRM 2019 (Third Annual Workshop on Emerging Parallel and Distributed Runtime Systems and Middleware, held in conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 19).

Arthur Charguéraud has been member of the program committees of ITP 2019, POPL 2020, OOPSLA 2019.

Cédric Bastoul has been part of the program committee of HiPC 2019 (IEEE International Conference on High Performance Computing, Data and Analytics), HIP3ES 2019 (International Workshop on High Performance Energy Efficient Embedded Systems), IMPACT 2019 (International Workshop on Polyhedral Compilation Techniques), CADO 2019 (Special Session on Compiler Architecture, Design and Optimization of the 17th International Conference on High Performance Computing & Simulation - HPCS 2019).

Reviewer

Bérenger Bramas has been a reviewer for COMPAS 2019 and PDP 2020.

Arthur Charguéraud has been a reviewer for FOSSACS 2020 and ESOP 2020.

Journal

Member of the Editorial Boards

Since October 2001, J. Gustedt is the Editor-in-Chief of the journal Discrete Mathematics and Theoretical Computer Science (DMTCS).

Reviewer - Reviewing Activities

Bérenger Bramas has been a reviewer for the following journals: Journal of Parallel Computing (Elsevier), Journal of Parallel and Distributed Computing (Elsevier), Journal of Computer Science and Technology (Springer), Parallel Processing Letters (World Scientific), Software: Practice and Experience (Wiley).

Philippe Clauss has been a reviewer for the Journal of Software: Practice and Experience (Wiley).

Invited Talks

Cédric Bastoul delivered the invited talk "Loop Optimization: A Matter of Art and Science" at the Huawei Symposium on Foundations of Software 2019.

Scientific Expertise

Standardization

Since Nov. 2014, Jens Gustedt has been a member of the ISO working group SC22-WG14 for the standardization of the C programming language and serves as a co-editor of the standards document, see [46], [47], [40], [33]. He participates actively in the clarification report processing, the planning of future versions of the standard and in a subgroup that discusses the improvement of the C memory model, see [45], [35], [48].

He was one of the main forces behind the elaboration of C17, the new version of the C standard that has been published by ISO in 2018 [51] and contributes to the future standard "C2x" in various ways. In particular he proposed the removal of the so-called K&R definitions [27], the reform of sign representation [25], [26], maximum width integers [44], keywords [31], [41], [36], [36], null pointer constants [34], timing interfaces [37], [30], [30], atomicity and synchronization [42], [32], [39], and function error conventions [28]. Most of these are either integrated in the latest draft or have been adopted subject to reformulations and adaptations.

Expertise

Philippe Clauss has been a reviewer for a promotion case to Full Professor in a US University.

Cédric Bastoul has been an expert for the French research ministry and the French finance ministry for the research tax credit programme.

Research Administration

Cédric Bastoul, Philippe Clauss and Vincent Loechner are members of the Comité d'Experts (section 27, informatique) of the Université de Strasbourg, providing their scientific and teaching expertise to the university and to the academy. In particular, this committee is involved in the recruitment of researchers and teachers in computer science. Philippe Clauss has been the Vice President of the committee since April 2019.

Jens Gustedt is the head of the ICPS team for the ICube lab, and in that function a member of the board of directors of the lab. He is also a member of the local recruitment committee for PhD students and postdocs of Inria Center Nancy — Grand Est.

Philippe Clauss and Cédric Bastoul are members of the Collegium Sciences of the University of Strasbourg, which is a group of representative scientists providing advice regarding the funding of projects.

Philippe Clauss is a member of the Bureau du Comité des Projets of the Inria Center Nancy — Grand Est. This group of scientists provides scientific expertise to the Director of the Center.